In recent years the formerly quite strong interest in patient compliance has been questioned for being too paternalistic and oriented towards overly narrow biomedical goals as the basis for treatment recommendations. In line with this there has been a shift towards using the notion of adherence to signal an increased weight for patients’ preferences and autonomy in decision making around treatments. This ‘adherence-paradigm’ thus encompasses shared decision-making as an ideal and patient perspective and autonomy as guiding goals of care. What (...) this implies in terms of the importance that we have reason to attach to (non-)adherence and how has, however, not been explained. In this article, we explore the relationship between different forms of shared decision-making, patient autonomy and adherence. Distinguishing between dynamically and statically framed adherence we show how the version of shared decision-making advocated will have consequences for whether one should be interested in a dynamically or statically framed adherence and in what way patient adherence should be assessed. In contrast to the former compliance paradigm (where non-compliance was necessarily seen as a problem), using observations about (non-)adherence to assess the success of health care decision making and professional-patient interaction turns out to be a much less straightforward matter. (shrink)

The first-order theory of the lattice of recursively enumerable closed subsets of an effective topological space is proved undecidable using the undecidability of the first-order theory of the lattice of recursively enumerable sets. In particular, the first-order theory of the lattice of recursively enumerable closed subsets of Euclidean n -space, for all n , is undecidable. A more direct proof of the undecidability of the lattice of recursively enumerable closed subsets of Euclidean n -space, n ⩾ 2, is provided using (...) the method of reduction and the recursive inseparability of the set of all formulae satisfiable in every model of the theory of SIBs and the set of all formulae refutable in some finite model of the theory of SIBs. (shrink)

In 2012, a U.S. Institute of Medicine report called for a different approach to health care: “Left unchanged, health care will continue to underperform; cause unnecessary harm; and strain national, state, and family budgets.” The answer, they suggested, would be a “continuously learning” health system. Ethicists and researchers urged the creation of “learning health organizations” that would integrate knowledge from patient‐care data to continuously improve the quality of care. Our experience with an ongoing research study on atrial fibrillation—a trial known (...) as IMPACT‐AFib—gave us some insight into one of the challenges that will have to be dealt with in creating these organizations. Although the proposed educational intervention study placed no restrictions on what providers and health plans could do, the oversight team argued that the ethical principle of beneficence did not allow the researchers to be “bystanders” in relation to a control group receiving suboptimal care. In response, the researchers designed a “workaround” that allowed the project to go forward. We believe the experience suggests that what we call “bystander ethics” will create challenges for the kinds of quality improvement research that LHOs are designed to do. (shrink)

Whether attempts should be punished as severely as the completed crime poses fundamental problems concerning the proper goals of the criminal law and the philosophy of punishment. An answer to this question would require an assessment of the significance of the fact that harm occurs as a result of conduct. Does the occurrence of harm give us any reason for distinguishing between completed offenses and attempts? Contemporary theory is almost united in the view that the occurrence of harm does not (...) mark a moral distinction. Yet, there does seem to be a common intuition that a person is somehow more blameworthy if his conduct results in harm than if it does not. This distinction in gravity between attempts and the completed crime is also recognized in the law; most United States’ jurisdictions provide a lesser punishment for attempts. (shrink)

In 2012, a U.S. Institute of Medicine report called for a different approach to health care: “Left unchanged, health care will continue to underperform; cause unnecessary harm; and strain national, state, and family budgets.” The answer, they suggested, would be a “continuously learning” health system. Ethicists and researchers urged the creation of “learning health organizations” that would integrate knowledge from patient‐care data to continuously improve the quality of care. Our experience with an ongoing research study on atrial fibrillation—a trial known (...) as IMPACT‐AFib—gave us some insight into one of the challenges that will have to be dealt with in creating these organizations. Although the proposed educational intervention study placed no restrictions on what providers and health plans could do, the oversight team argued that the ethical principle of beneficence did not allow the researchers to be “bystanders” in relation to a control group receiving suboptimal care. In response, the researchers designed a “workaround” that allowed the project to go forward. We believe the experience suggests that what we call “bystander ethics” will create challenges for the kinds of quality improvement research that LHOs are designed to do. (shrink)

On 18–19 May 2018, a symposium was held in the Research Institute of Irish and Scottish Studies at the University of Aberdeen to commemorate the tenth anniversary of the death of Ronald W. Hepburn (1927–2008). The speakers at this event discussed Hepburn’s oeuvre from several perspectives. For this book, the collection of the revised versions of their talks has been supplemented by the papers of other scholars who were unable to attend the symposium itself. Thus this volume contains contributions from (...) eighteen notable scholars of different disciplines, ranging from contemporary aesthetics and art theory through to philosophical approaches to religion, education and social anthropology. It also includes a bibliography of Hepburn’s writings. The essays were first published in two special issues of the Journal of Scottish Thought, vols. 10–11 (2018–2019). -/- Ronald William Hepburn was born in Aberdeen on 16 March 1927. He went to Aberdeen Grammar School, then he graduated with an M.A. in Philosophy (1951) and obtained his doctorate from the University of Aberdeen (1955). His tutor at Aberdeen was Donald MacKinnon (1913– 1994), a Scottish philosopher and theologian, the author of A Study in Ethical Theory (1957) and The Problem of Metaphysics (1974). Hepburn taught as Lecturer at the Department of Moral Philosophy at Aberdeen (1956–60), and he was also Visiting Associate Professor of Philosophy at New York University (1959–60). He returned from the United States as Professor of Philosophy at Nottingham University. In 1964, he was appointed as a Chair in Philosophy at the University of Edinburgh and between 1965 and 1968 he was also Stanton Lecturer in the Philosophy of Religion at the University of Cambridge. From 1975 until his retirement in 1996, he held the Professorship of Moral Philosophy at Edinburgh. He died in Edinburgh on 23 December 2008. His philosophical interests ranged from theology and the philosophy of religion through moral philosophy and the philosophy of education to art theory and aesthetics. Notably, Hepburn is widely regarded as the founder of modern environmental and everyday aesthetics as a result of the influence of papers in the 1960s which pioneered a new approach to the aesthetics of the natural world. (shrink)

This is a general account of metavaluations and their applications, which can be seen as an alternative to standard model-theoretic methodology. They work best for what are called metacomplete logics, which include the contraction-less relevant logics, with possible additions of Conjunctive Syllogism, & →.A→C, and the irrelevant, A→.B→A, these including the logic MC of meaning containment which is arguably a good entailment logic. Indeed, metavaluations focus on the formula-inductive properties of theorems of entailment form A→B, splintering into two types, M1- (...) and M2-, according to key properties of negated entailment theorems. Metavaluations have an inductive presentation and thus have some of the advantages that model theory does, but they represent proof rather than truth and thus represent proof-theoretic properties, such as the priming property, if ├ A $\vee$ B then ├ A or ├ B, and the negated-entailment properties, not-├ ∼ and ├ ∼ iff ├ A and ├ ∼ B. Topics to be covered are their impact on naive set theory and paradox solution, and also Peano arithmetic and Godel’s First and Second Theorems. Interesting to note here is that the familiar M1- and M2-metacomplete logics can be used to solve the set-theoretic paradoxes and, by inference, the Liar Paradox and key semantic paradoxes. For M1-logics, in particular, the final metavaluation that is used to prove the simple consistency is far simpler than its correspondent in the model-theoretic proof in that it consists of a limit point of a single transfinite sequence rather than that of a transfinite sequence of such limit points, as occurs in the model-theoretic approach. Additionally, it can be shown that Peano Arithmetic is simply consistent, using metavaluations that constitute finitary methods. Both of these results use specific metavaluational properties that have no correspondents in standard model theory and thus it would be highly unlikely that such model theory could prove these results in their final forms. (shrink)

We present an algebraic-style of semantics, which we call a content semantics, for quantified relevant logics based on the weak system BBQ. We show soundness and completeness for all quantificational logics extending BBQ and also treat reduced modelling for all systems containing BB d Q. The key idea of content semantics is that true entailments AB are represented under interpretation I as content containments, i.e. I(A)I(B) (or, the content of A contains that of B). This is opposed to the truth-functional (...) way which represents true entailments as truth-preservations over all set-ups (or worlds), i.e. (VaK) (if I(A, a) = T then I(B, a)= T). (shrink)

This paper surveys the various forms of Deduction Theorem for a broad range of relevant logics. The logics range from the basic system B of Routley-Meyer through to the system R of relevant implication, and the forms of Deduction Theorem are characterized by the various formula representations of rules that are either unrestricted or restricted in certain ways. The formula representations cover the iterated form,A 1 .A 2 . ... .A n B, the conjunctive form,A 1&A 2 & ...A n (...) B, the combined conjunctive and iterated form, enthymematic version of these three forms, and the classical implicational form,A 1&A 2& ...A n B. The concept of general enthymeme is introduced and the Deduction Theorem is shown to apply for rules essentially derived using Modus Ponens and Adjunction only, with logics containing either (A B)&(B C) .A C orA B .B C .A C. (shrink)

We provide a semantics for relevant logics with addition of Aristotle's Thesis, ∼(A→∼A) and also Boethius,(A→B)→∼(A→∼B). We adopt the Routley-Meyer affixing style of semantics but include in the model structures a regulatory structure for all interpretations of formulae, with a view to obtaining a lessad hoc semantics than those previously given for such logics. Soundness and completeness are proved, and in the completeness proof, a new corollary to the Priming Lemma is introduced (c.f.Relevant Logics and their Rivals I, Ridgeview, 1982).

In [1], we established Gentzenizations for a good range of relevant logics with distribution, but, in the process, we added inversion rules, which involved extra structural connectives, and also added the sentential constantt. Instead of eliminating them, we used conservative extension results to relate them back to the original logics. In [4], we eliminated the inversion rules andtand established a much simpler Gentzenization for the weak sentential relevant logicDW, and also for its quantificational extensionDWQ, but a restriction to normal formulae (...) (defined below) was required to enable these results to be proved. This method was quite general and hope was expressed about extending it to other relevant logics.In this paper, we develop an innovative method, which makes essential use of this restriction to normality, to establish two simple Gentzenizations for the normal formulae of the slightly weaker logic B, and then extend the method to other sentential contraction-less logics. To obtain the first of these Gentzenizations, for the logicsBandDW, we remove the two branching rules (F&) and (T∨), together with the structural connective ‘,’, to simplify the elimination of the inversion rules andt. We then eliminate the rules (T&) and (F∨), thus reducing the Gentzen system to one containing only ˜ and → and their four associated rules, and reduce the remaining types of structures to four simple finite types. Subsequently, we re-introduce (T&) and (F∨), and also (F&) and (T∨), to obtain the second Gentzenization, which contains ‘,’ but no structural rules. (shrink)

In [1], we established Gentzenizations for a good range of relevant logics with distribution, but, in the process, we added inversion rules, which involved extra structural connectives, and also added the sentential constantt. Instead of eliminating them, we used conservative extension results to relate them back to the original logics. In [4], we eliminated the inversion rules andtand established a much simpler Gentzenization for the weak sentential relevant logicDW, and also for its quantificational extensionDWQ, but a restriction to normal formulae (...) (defined below) was required to enable these results to be proved. This method was quite general and hope was expressed about extending it to other relevant logics.In this paper, we develop an innovative method, which makes essential use of this restriction to normality, to establish two simple Gentzenizations for the normal formulae of the slightly weaker logic B, and then extend the method to other sentential contraction-less logics. To obtain the first of these Gentzenizations, for the logicsBandDW, we remove the two branching rules (F&) and (T∨), together with the structural connective ‘,’, to simplify the elimination of the inversion rules andt. We then eliminate the rules (T&) and (F∨), thus reducing the Gentzen system to one containing only ˜ and → and their four associated rules, and reduce the remaining types of structures to four simple finite types. Subsequently, we re-introduce (T&) and (F∨), and also (F&) and (T∨), to obtain the second Gentzenization, which contains ‘,’ but no structural rules. (shrink)

A major question for the relevant logics has been, “Under what conditions is Ackermann's ruleγ from -A ∨B andA to inferB, admissible for one of these logics?” For a large number of logics and theories, the question has led to an affirmative answer to theγ problem itself, so that such an answer has almost come to be expected for relevant logics worth taking seriously. We exhibit here, however, another large and interesting class of logics-roughly, the Boolean extensions of theW — (...) free relevant logics (and, precisely, the well-behaved subsystems of the 4-valued logicBN4) — for which γ fails. (shrink)

This volume contains thirty-one papers grouped under the following headings: "The Nature of Philosophy," "Man and Knowledge," "God and Religious Knowledge," "Ethics," "Law," and "Texts." A few of the papers discuss the Augustinian tradition. Munoz-Alonso, Blondel, and Sciacca are mentioned as men who have renewed for our time the thought of Augustine. The papers on St. Bonaventure include an analysis by John O. Riedl of some of Bonaventure’s texts on Dionysius the Areopagite, a comparison and contrast by Bernardino Bonansea of (...) the position of Bonaventure and Thomas on the question of creation from eternity, a study by Ewert Cousins of Bonaventure’s dynamic self-diffusive God, and a discussion of his symbolic theology by Leonard Bowman. Scholars will be interested in the report of Ignatius Brady on the Quaracchi edition of Bonaventure’s writings, as well as in the report of James P. Reilly, Jr. on the Leonine Commission’s work on the texts of Thomas Aquinas. (shrink)

The logic E4 is related to Brady’s BN4 in a similar way to which Anderson and Belnap’s logic of entailment E is related to their logic of the relevant implication R. In ‘A companion to Brady’s 4-valued relevant logic: the 4-valued logic of entailment E4’, quoted in this paper, three alternatives to BN4 and another three to E4 are summarily introduced in a couple of pages as the only alternatives containing Routley and Meyer’s basic logic B, provided some conditions are (...) fulfilled. The aim of this note is to prove BN4 and its three alternatives are the same logic up to some point, since they are functionally equivalent to each other, as it is the case with E4 and its three alternatives, which are also functionally equivalent to each other; to some extent, E4 is superior to BN4, since the latter is functionally included in the former, but not conversely. (shrink)

Bridging the gap between the world of science and the realm of the spiritual, B. Alan Wallace introduces a natural theory of human consciousness that has its roots in contemporary physics and Buddhism. Wallace's "special theory of ontological relativity" suggests that mental phenomena are _conditioned_ by the brain, but do not _emerge_ from it. Rather, the entire natural world of mind and matter, subjects and objects, arises from a unitary dimension of reality that is more fundamental than these dualities, as (...) proposed by Wolfgang Pauli and Carl Jung. To test his hypothesis, Wallace employs the Buddhist meditative practice of _samatha_, refining one's attention and metacognition, to create a kind of telescope to examine the space of the mind. Drawing on the work of the physicist John Wheeler, he then proposes a more general theory in which the participatory nature of reality is envisioned as a self-excited circuit. In comparing these ideas to the Buddhist theory known as the Middle Way philosophy, Wallace explores further aspects of his "general theory of ontological relativity," which can be investigated by means of _vipasyana_, or insight, meditation. Wallace then focuses on the theme of symmetry in reference to quantum cosmology and the "problem of frozen time," relating these issues to the theory and practices of the Great Perfection school of Tibetan Buddhism. He concludes with a discussion of the general theme of complementarity as it relates to science and religion. The theories of relativity and quantum mechanics were major achievements in the physical sciences, and the theory of evolution has had an equally deep impact on the life sciences. However, rigorous scientific methods do not yet exist to observe mental phenomena, and naturalism has its limits for shedding light on the workings of the mind. A pioneer of modern consciousness research, Wallace offers a practical and revolutionary method for exploring the mind that combines the keenest insights of contemporary physicists and philosophers with the time-honored meditative traditions of Buddhism. (shrink)